1

Choice Sequences. A Chapter of Intuitionistic Mathematicsby A. S. Troelstra

Year:
1979
Language:
english
File:
PDF, 104 KB
english, 1979
2

The Theory of Choice Sequences.by A. S. Troelstra; B. van Rootselaar; J. F. Staal

Year:
1973
Language:
english
File:
PDF, 89 KB
english, 1973
3

Mathematical Logicby Georg Kreisel

Year:
1967
Language:
english
File:
PDF, 378 KB
english, 1967
5

Notes Towards an Axiomatization of Intuitionistic Logicby John Myhill

Year:
1968
Language:
english
File:
PDF, 210 KB
english, 1968
6

On Intuitionistic Difference Relationsby B. van Rootselaar

Year:
1969
Language:
english
File:
PDF, 363 KB
english, 1969
7

Functionals Defined by Transfinite Recursionby W. W. Tait

Year:
1966
Language:
english
File:
PDF, 749 KB
english, 1966
8

Vollständige Systeme Modaler und Intuitionistischer Logik.by Kurt Schütte

Year:
1971
Language:
english
File:
PDF, 236 KB
english, 1971
11

Intuition und Konstruktionby B. van Rootselaar

Year:
1969
Language:
english
File:
PDF, 223 KB
english, 1969